Munity
نویسنده
چکیده
MUNITY is a program veri cation system for parallel programs ex pressed in the UNITY language of K M Chandy and J Misra Given a program and a list of hypothesized properties expressed in the temporal UNITY logic MUNITY generates and largely proves a list of veri cation conditions The development environment supports the interactive dis covery and proof of relevant UNITY properties expressing stability and progress and if appropriate also points to bugs in the speci cation of the parallel program Dealing with data types abstractly we show how data type requirements can be easily discovered by the system
منابع مشابه
Attempts to induce immunity against mammary adenocarcinoma in inbred mice.
reviewed by Spencer (14), Woglum (18), and, more recently, by Hauschka (9). Most of the in vestigations were made with tumors transplanted either into random-bred rats or into strains of mice alien to the strain in which the neoplasm first occurred. In several instances, however, im munity was produced against tumors which arose in inbred strains of rats (10, 11) and mice (6, 12). In the experi...
متن کاملFoundations for Ecological Research West of Tiie Antarctic Peninsula
The horizontal and vertical distributions of selected taxa that dcminate the pelagic zooplankton com· munity (> 0.2 mm) within the Palmer Loog-Tenn Ecological Research (LTFR) ItUdy region are described. In addition to a synthesis of existing published descriptions for euphawiids, saIps, and copepods, two newly available datasets are analyud . Recent observations (1991-1994) obtained as part of ...
متن کاملArti cial Evolution A Continuing SAGA
I start with a basic tutorial on Arti cial Evolution and then show the simplest possible way of implementing this with the Micro bial Genetic Algorithm I then discuss some shortcomings in many of the basic assumptions of the orthodox Genetic Algorithm GA com munity and give a rather di erent perspective The basic principles of SAGA Species Adaptation GAs will be outlined and the con cept of Neu...
متن کاملBUREAU OF THE CENSUS STATISTICAL RESEARCH DIVISION REPORT SERIES SRD Research Report Number: Census/SRD/R R-87/09 REPORT ON MISSING DATA IN THE 1986 TEST OF ADJUSTMENT RELATED OPERATIONS
This series contains research reports, written by or in cooperation with staff members ofthe Statistical Research Division, whose content may be ofinterestto the general statistical research corn munity. The views reflected in these reports are not necessarily those of the Census Bureau nor do they necessarily represent Census Bureau statistical policy or practice. Inquiries may be addressed to...
متن کاملPreventive Care
trouble and help from trained ^ informal sources can save much distr?! Centres could be begun where doc'" and welfare workers could send cert3 types of cases, where they could be wi^1 reach of home?should this be in tbj interests?and where they could helped to face the situation which ^ led them to need this help. Their families could be kept inforfl1' of the patient's progress, and shov meanwh...
متن کامل